document.write('0313\n');