document.write (7212);