document.write (" 12871 ");