document.write (" 42031 ");