document.write (" 13000 ");