document.write (4212);