Siccome mi aspettavo la tua risposta.. ho provatp anche cosi:
Codice PHP:
function check() {
    if (
document.getElementById) {
        
areaDesktop document.getElementById('areaLavoro');
        
areaDesktop.onMouseover = function() { scrivi(areaDesktopparagrafo); };
        } else {
        
alert('La funzione non funzia');
    }

ma anche in questo modo non funge..