document.write (" 42263 ");