document.write('0319\n');