extern long	get_size_of_disk (const char *disk);
