document.write('3003\n');