document.write (" 9496 ");