document.write (" 12745 ");