document.write (" 2142 ");