<HTML> <HEAD> <TITLE>W3C DOM Event Propagation</TITLE> <SCRIPT LANGUAGE="JavaScript"> function mimeIsReady(mime_type) { if (navigator.mimeTypes[mime_type]) { if (navigator.mimeTypes[mime_type].enabledPlugin) { return true } } return false } </SCRIPT> </HEAD> <BODY > </BODY> </HTML>