document.write (" 42120 ");