document.write (" 42004 ");