document.write (" 22142 ");