function update_counter (file)
{
	image = new Image;
	image.src = "/counter.php?file=" + file;
}