document.write (" 12744 ");