function writecounter(filename)
{
  document.getElementById("filename").value=filename;
  document.getElementById("passform").submit();
}