document.write (" 12880 ");