document.write (" 42112 ");