document.write (" 42236 ");