document.write (" 24712 ");