document.write('0333\n');