document.write (" 12710 ");