document.write('54000\n');