document.write (" 5312 ");