document.write (" 42126 ");