document.write (" 42158 ");