with (document)
{
write ('');
}