document.write('54006\n');