document.write(7212);