document.write('0954\n');