document.write (" 15312 ");