document.write('0488\n');