document.write (" 12956 ");