document.write (" 12930 ");