// Archivo JScript
function pulsado(cadena)
{
    if(document.getElementById(cadena).value=='buscar...') document.getElementById(cadena).value='';
}