document.write (9424);