document.write (" 12000 ");