document.write (" 12712 ");