document.write (" 42032 ");