// RandomAccessFile類及其常用方法的應用
import java.io.*;
 public class RandomDemo
	{
	public static void main(String[] args)
		{
		try
		{
		RandomAccessFile opRAD = new RandomAccessFile("test11_3.txt","rw");
			for(int i = 0; i<10; i++)
				opRAD.writeDouble(i*0.125);
			opRAD.close();

			opRAD = new RandomAccessFile("test11_3.txt","rw");
			opRAD.seek(4*8);
			opRAD.writeDouble(37.858);
			opRAD.close();

			opRAD = new RandomAccessFile("test11_3.txt","r");
			for(int i = 0; i<10; i++)
				System.out.println(i+ ":" + opRAD.readDouble());
			opRAD.close();
		}
		catch(FileNotFoundException e)
		{
			System.out.println(e);
			System.exit(-1);
		}
		catch(IOException e)
		{
			System.out.println(e);
			System.exit(-2);			
		}	
	}
}