document.write (" 5142 ");