document.write (" 12760 ");