document.write (" 12142 ");